Reduction in TLA

Prominent IL-12 Production and Tumor Reduction in Athymic Nude Mice after Toxoplasma gondii Lysate Antigen Treatment

Toxoplasma gondii is an intracellular protozoan parasite that causes a Th1 cellular immunity. Our previous study showed that T. gondii lysate antigen (TLA) treatment in S180 tumor-bearing mice resulted in tumor reduction by suppressing CD31 expression, a marker of angiogenesis. In the present study, to investigate tumor suppressive effect of TLA under the absence of T lymphocytes, athymic nude ...

Prime-Boost Vaccination with Toxoplasma Lysate Antigen, but Not with a Mixture of Recombinant Protein Antigens, Leads to Reduction of Brain Cyst Formation in BALB/c Mice

INTRODUCTION Infection with the ubiquitous parasite Toxoplasma gondii is a threat for immunocompromised patients and pregnant women and effective immune-prophylaxis is still lacking. METHODS Here we tested a mixture of recombinant T. gondii antigens expressed in different developmental stages, i.e., SAG1, MAG1 and GRA7 (SMG), and a lysate derived from T. gondii tachyzoites (TLA) for prophylac...

Allergen reduction by nightly temperature controlled laminar airflow (TLA) decreases exacerbation rate in severe allergic asthma

Results Data from 30 patients (mean age 28; range 8-70) completing 4 months and 27 patients completing 12 months of TLA use, are presented. Ratios (%) or means (range) At baseline After 12 months of TLA P-value Exacerbations last 12 months3.6 (0-12)1.3 (0-5)0.05Asthma Control Test14.1 (5-27)18.5 (8-27)<0.001Ratio with uncontrolled disease, GINA55.20<0.001Ratio with controlled disease, GINA10.333.3

ISOANTIGENS OF THE H-2 AND Tla LOCI OF THE MOUSE

H-2 and TL isoantigens of the mouse are specified by the closely linked genetic loci H-2 and Tla. A. study of their representation on thymocytes was performed in order to reveal any interactions between the determinant genes or their products affecting the synthesis or disposition of these components of the thymocyte surface. The method employed was quantitative absorption of cytotoxic antibody...

Proof of the TLA Reduction Theorem

A Definitional Encoding of TLA* in Isabelle/HOL

We mechanise the logic TLA∗ [8], an extension of Lamport’s Temporal Logic of Actions (TLA) [5] for specifying and reasoning about concurrent and reactive systems. Aiming at a framework for mechanising the verification of TLA (or TLA∗) specifications, this contribution reuses some elements from a previous axiomatic encoding of TLA in Isabelle/HOL by the second author [7], which has been part of ...